Batch Deterministic and Stochastic Petri Nets: Modelling, Analysis and Application to Inventory Systems
نویسندگان
چکیده
We recently introduced a new stochastic Petri net model called “batch deterministic and stochastic Petri nets” (BDSPNs) capable of describing the synchronization of discrete and batch token flows in discrete batch processes. It is a powerful formal model for the study of inventory systems and supply chains where materials are processed or ordered in finite discrete quantities (batches) and many operations such as inventory replenishment, manufacturing and distribution are usually performed in a batch way because of the batch nature of customer orders and/or in order to take advantages of the economies of scale. In this paper, the modelling and analysis powers of the model are demonstrated through inventory systems. We show particularly how to model and evaluate the performance of a continuous review (s, S) inventory system with stochastic and batch demand using BDSPNs. Copyright © 2005 IFAC
منابع مشابه
Transformation analysis methods for the BDSPN model
The work of this paper contributes to the structural analysis of batch deterministic and stochastic Petri nets (BDSPNs). The BDSPN model is a class of Petri nets introduced for the modelling, analysis and performance evaluation of discrete event systems with batch behaviours. The model is particularly suitable for the modelling of flow evolution in discrete quantities (batches of variable sizes...
متن کاملPetri nets and industrial applications: A tutorial
This is a tutorial paper on Petri nets. Petri nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems. The main objective of this paper is to introduce the fundamental concepts of Petri nets to the researchers and practitioners, both from academia and industry, who are involved in the work in the areas of mod...
متن کاملBATCH TRANSFERRING IN PRODUCTIONINVENTORY SYSTEMS
In most production-inventory systems, the products are transferred from the production centre to the inventory (warehouse) in subbatchs rather than one at a time. In this paper, mathematical models of such systems for both deterministic and stochastic cases of demand are developed and analysed. Comparison of these new models with the EBQ model shows a considerable loss when applying the ru...
متن کاملModelling and Analysis of a Batch Plant Using Petri Nets
Petri nets have widely been applied in different aspect of modelling, qualitative, quantitative analysis, supervisory and coordinate control, scheduling, planning, and hybrid system design of batch processes. The paper presents an example which shows how to use Petri nets to model and analysis a realistic batch plant. The modular modelling method is adopted to model a real batch processing plan...
متن کاملAn extension of high-level Petri nets for modelling batch systems
This paper deals with the modelling of batch systems by means of high-level Petri nets. Batch systems are systems that transform a continuous raw material through continuous equipment (as heat exchanger for example) and batch equipment (for instance, batch reactor). These systems are frequently used by chemical of food industry. Batch systems deal with concurrent activities and resource allocat...
متن کامل